-
1 verification condition
условие верификации
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
условие проверки
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > verification condition
-
2 verification condition
Большой англо-русский и русско-английский словарь > verification condition
-
3 verification condition
1) Техника: условие контроля программы2) Вычислительная техника: условие верификации, верифицирующее условие (в технике доказательства правильности программ)Универсальный англо-русский словарь > verification condition
-
4 verification condition
English-Russian dictionary of computer science and programming > verification condition
-
5 verification condition
English-Russian information technology > verification condition
-
6 verification condition generation
Большой англо-русский и русско-английский словарь > verification condition generation
-
7 verification condition generation
Вычислительная техника: генерирование условий верификации (при доказательстве правильности программ)Универсальный англо-русский словарь > verification condition generation
-
8 verification condition generator
Микроэлектроника: генератор условий верификацииУниверсальный англо-русский словарь > verification condition generator
-
9 verification condition generation
English-Russian dictionary of computer science and programming > verification condition generation
-
10 condition
1) условие2) состояние3) ситуация4) pl режим•the condition can be cured by... — ситуация может быть исправлена посредством...
- ageing conditions- aging conditions
- alarm condition
- alert condition
- binary-valued condition
- boundary condition
- busy condition
- class condition
- clock conditions
- compound condition
- context condition
- continuity condition
- continuous-low condition
- cyclically magnetized condition
- deadlock condition
- debugging conditions
- degeneracy condition
- device status condition
- disabled condition
- don't care condition
- dynamic conditions
- entry conditions
- error condition
- exception condition
- exigent condition
- existence condition
- feasibility condition
- full-load conditions
- impending condition
- initial conditions
- limiting condition
- load conditions
- logical condition
- marginal conditions
- matched condition
- match condition
- maximum permissible operation conditions
- mild condition
- mismatch condition
- modifier condition
- normal conditions
- OFF condition
- ON condition
- one condition
- operation condition
- overflow test condition
- overload conditions
- pending condition
- prefault condition
- prefix condition
- pulse conditions
- ready condition
- reflexive condition
- restart condition
- service conditions
- stability condition
- stable condition
- starting condition
- static conditions
- steady-state conditions
- sufficient condition
- symmetrical cyclically magnetized condition
- tail conditions
- tape-out condition
- tenancy condition
- test conditions
- training conditions
- truncation condition
- typical operation conditions
- underflow test condition
- utmost permissible operation conditions
- verification condition
- wait condition
- working condition
- worst-case conditions
- zero condition
- zero-initial conditionEnglish-Russian dictionary of computer science and programming > condition
-
11 верифицирующее условие
Большой англо-русский и русско-английский словарь > верифицирующее условие
-
12 генерирование условий верификации
Большой англо-русский и русско-английский словарь > генерирование условий верификации
-
13 VC
1) Общая лексика: Vice Chancellor, vacuum contactor, ВК2) Компьютерная техника: Variant Of C, Verification Condition, Virtual Circuit, Virtual Component, Vivid Color3) Морской термин: комфортабельность судна (vessel convenience), пригодность судна (vessel convenience)4) Американизм: Victory Court, Vietnamese Communists5) Военный термин: Valley Commando, Very Cowardly, Vice Commodore, Vice-Chief, Victor Charlie, Victoria Cross, Virtual Cockpit, Volunteer Corps, vehicular communications, vice chairman, visual communications, voice control6) Техника: variable capacitor, video correlator, vinylchloride, visitors center, voltage compensator, voltage/current converter, volume control7) Шутливое выражение: Violet Carrier, Vulture Capitalist8) Химия: Viscous Coupled9) Юридический термин: Very Confused, Very Crafty, Very Cruel, Vice City10) Экономика: переменные издержки (variable costs), венчурный капитал (venture capital)11) Бухгалтерия: Value And Computation, Vanished Capital, Variable Costs12) Грубое выражение: Vertical Cocking13) Кино: View Control14) Политика: St. Vincent and the Grenadines15) Телекоммуникации: Virtual Channel (ATM), Virtual Circuit (PSN)16) Сокращение: Saint Vincent & Grenadines, Veterinary Corps, Vice-Chairman, Vice-Chancellor, Vice-Consul, Viet Cong, Vietcong, Voice Channel, valuable cargo, vitrified clay, voice coil, volume of compartment, varnished cambric (insul), vital capacity, viscous coupling17) Университет: Vertical Campus18) Физиология: Ventricular contraction, Verbal Complex, Vocal Cord19) Фото: переменный контраст (Variable Contrast), система подавления вибраций20) Электроника: Vector Command21) Сленг: американские военные силы во Вьетнаме22) Вычислительная техника: Virtual Console, voltage comparator, Virtual Channel / Circuit (ATM)23) Нефть: variable cost, Verkhnechonskoye24) Связь: Virtual Call / Virtual Connection, Virtual Channel (ATM) / Virtual Container (SDH)25) Транспорт: Very Carefully26) Пищевая промышленность: Vintage Club27) Гидроэлектростанции: коэффициент ВеБе28) Фирменный знак: Vickers Commercial, Victory, Virtual Cinematographers29) СМИ: Video Care, Video Clip, Vintners Corner, Virtual Cameramen30) Деловая лексика: Valued Customer, Venture Capital, Video Conferencing, Villainous Capitalist, Vulture Capitalism, validating carrier (сокращение в электронном авиабилете)31) Бытовая техника: виртуальный канал32) Образование: Virtual Classroom33) Сетевые технологии: Virtual Container, videoconferencing, видеоконференция34) Полимеры: vertical clamp, vinyl chloride, vinylidene chloride35) Программирование: Variable Construction36) Авиационная медицина: color vision37) Расширение файла: VisiCalc Spreadsheet, Vivid 2. 0 Color definitions file38) Электротехника: voltage control39) Имена и фамилии: Vince Carter40) Фармация: Vehicle control41) Должность: Venture Capitalist, Voting Candidate42) Чат: Very Clever, Very Cool, Very Cute43) Правительство: Ventura County, Virginia City44) НАСА: Virtual Channel -
14 Vc
1) Общая лексика: Vice Chancellor, vacuum contactor, ВК2) Компьютерная техника: Variant Of C, Verification Condition, Virtual Circuit, Virtual Component, Vivid Color3) Морской термин: комфортабельность судна (vessel convenience), пригодность судна (vessel convenience)4) Американизм: Victory Court, Vietnamese Communists5) Военный термин: Valley Commando, Very Cowardly, Vice Commodore, Vice-Chief, Victor Charlie, Victoria Cross, Virtual Cockpit, Volunteer Corps, vehicular communications, vice chairman, visual communications, voice control6) Техника: variable capacitor, video correlator, vinylchloride, visitors center, voltage compensator, voltage/current converter, volume control7) Шутливое выражение: Violet Carrier, Vulture Capitalist8) Химия: Viscous Coupled9) Юридический термин: Very Confused, Very Crafty, Very Cruel, Vice City10) Экономика: переменные издержки (variable costs), венчурный капитал (venture capital)11) Бухгалтерия: Value And Computation, Vanished Capital, Variable Costs12) Грубое выражение: Vertical Cocking13) Кино: View Control14) Политика: St. Vincent and the Grenadines15) Телекоммуникации: Virtual Channel (ATM), Virtual Circuit (PSN)16) Сокращение: Saint Vincent & Grenadines, Veterinary Corps, Vice-Chairman, Vice-Chancellor, Vice-Consul, Viet Cong, Vietcong, Voice Channel, valuable cargo, vitrified clay, voice coil, volume of compartment, varnished cambric (insul), vital capacity, viscous coupling17) Университет: Vertical Campus18) Физиология: Ventricular contraction, Verbal Complex, Vocal Cord19) Фото: переменный контраст (Variable Contrast), система подавления вибраций20) Электроника: Vector Command21) Сленг: американские военные силы во Вьетнаме22) Вычислительная техника: Virtual Console, voltage comparator, Virtual Channel / Circuit (ATM)23) Нефть: variable cost, Verkhnechonskoye24) Связь: Virtual Call / Virtual Connection, Virtual Channel (ATM) / Virtual Container (SDH)25) Транспорт: Very Carefully26) Пищевая промышленность: Vintage Club27) Гидроэлектростанции: коэффициент ВеБе28) Фирменный знак: Vickers Commercial, Victory, Virtual Cinematographers29) СМИ: Video Care, Video Clip, Vintners Corner, Virtual Cameramen30) Деловая лексика: Valued Customer, Venture Capital, Video Conferencing, Villainous Capitalist, Vulture Capitalism, validating carrier (сокращение в электронном авиабилете)31) Бытовая техника: виртуальный канал32) Образование: Virtual Classroom33) Сетевые технологии: Virtual Container, videoconferencing, видеоконференция34) Полимеры: vertical clamp, vinyl chloride, vinylidene chloride35) Программирование: Variable Construction36) Авиационная медицина: color vision37) Расширение файла: VisiCalc Spreadsheet, Vivid 2. 0 Color definitions file38) Электротехника: voltage control39) Имена и фамилии: Vince Carter40) Фармация: Vehicle control41) Должность: Venture Capitalist, Voting Candidate42) Чат: Very Clever, Very Cool, Very Cute43) Правительство: Ventura County, Virginia City44) НАСА: Virtual Channel -
15 vc
1) Общая лексика: Vice Chancellor, vacuum contactor, ВК2) Компьютерная техника: Variant Of C, Verification Condition, Virtual Circuit, Virtual Component, Vivid Color3) Морской термин: комфортабельность судна (vessel convenience), пригодность судна (vessel convenience)4) Американизм: Victory Court, Vietnamese Communists5) Военный термин: Valley Commando, Very Cowardly, Vice Commodore, Vice-Chief, Victor Charlie, Victoria Cross, Virtual Cockpit, Volunteer Corps, vehicular communications, vice chairman, visual communications, voice control6) Техника: variable capacitor, video correlator, vinylchloride, visitors center, voltage compensator, voltage/current converter, volume control7) Шутливое выражение: Violet Carrier, Vulture Capitalist8) Химия: Viscous Coupled9) Юридический термин: Very Confused, Very Crafty, Very Cruel, Vice City10) Экономика: переменные издержки (variable costs), венчурный капитал (venture capital)11) Бухгалтерия: Value And Computation, Vanished Capital, Variable Costs12) Грубое выражение: Vertical Cocking13) Кино: View Control14) Политика: St. Vincent and the Grenadines15) Телекоммуникации: Virtual Channel (ATM), Virtual Circuit (PSN)16) Сокращение: Saint Vincent & Grenadines, Veterinary Corps, Vice-Chairman, Vice-Chancellor, Vice-Consul, Viet Cong, Vietcong, Voice Channel, valuable cargo, vitrified clay, voice coil, volume of compartment, varnished cambric (insul), vital capacity, viscous coupling17) Университет: Vertical Campus18) Физиология: Ventricular contraction, Verbal Complex, Vocal Cord19) Фото: переменный контраст (Variable Contrast), система подавления вибраций20) Электроника: Vector Command21) Сленг: американские военные силы во Вьетнаме22) Вычислительная техника: Virtual Console, voltage comparator, Virtual Channel / Circuit (ATM)23) Нефть: variable cost, Verkhnechonskoye24) Связь: Virtual Call / Virtual Connection, Virtual Channel (ATM) / Virtual Container (SDH)25) Транспорт: Very Carefully26) Пищевая промышленность: Vintage Club27) Гидроэлектростанции: коэффициент ВеБе28) Фирменный знак: Vickers Commercial, Victory, Virtual Cinematographers29) СМИ: Video Care, Video Clip, Vintners Corner, Virtual Cameramen30) Деловая лексика: Valued Customer, Venture Capital, Video Conferencing, Villainous Capitalist, Vulture Capitalism, validating carrier (сокращение в электронном авиабилете)31) Бытовая техника: виртуальный канал32) Образование: Virtual Classroom33) Сетевые технологии: Virtual Container, videoconferencing, видеоконференция34) Полимеры: vertical clamp, vinyl chloride, vinylidene chloride35) Программирование: Variable Construction36) Авиационная медицина: color vision37) Расширение файла: VisiCalc Spreadsheet, Vivid 2. 0 Color definitions file38) Электротехника: voltage control39) Имена и фамилии: Vince Carter40) Фармация: Vehicle control41) Должность: Venture Capitalist, Voting Candidate42) Чат: Very Clever, Very Cool, Very Cute43) Правительство: Ventura County, Virginia City44) НАСА: Virtual Channel -
16 VC
1. vacuum cooling - вакуумное охлаждение;2. valuable cargo - ценный груз;3. variable capacitor - конденсатор переменной ёмкости;4. verification condition - условие контроля программы;5. Vice-Chairman - вице-председатель; заместитель председателя;6. video correlator - видеокоррелятор;7. vinylchloride - винилхлорид;8. virtual channel - виртуальный канал;9. virtual circuit - виртуальная цепь; виртуальный канал;10. virtual container - виртуальный контейнер;11. visitors center - демонстрационный центр;12. vital capacity - жизненная ёмкость;13. voltage comparator - компаратор напряжений; сравнивающее устройство по напряжению;14. voltage compensator - компенсатор напряжения;15. voltage/current converter - преобразователь "напряжение-ток";16. volume control - регулирование объёма -
17 generation
1) создание, образование, формирование, генерация2) генерирование; порождение3) поколение (напр., компьютеров)4) матем. (функциональное) преобразование•- algorithmic pattern generation
- allophone string generation
- automatic character generation
- code generation
- data generation
- design generation
- digital-pattern generation
- entity generation
- fault generation
- function generation
- generation of computers
- generation of information
- noise generation
- parity generation
- picture generation
- random variate generation
- report generation
- schematicgeneration
- specification-driven software generation
- square-root generation
- stimuli generation
- symbol generation
- system generation
- test generation
- test-vector generation
- token generation
- verification condition generation
- wait-state generationEnglish-Russian dictionary of computer science and programming > generation
-
18 control
-
19 experimental
прил.мет. экспериментальный, опытный ( связанный с проведением экспериментального исследования)experimental check — мет. экспериментальная проверка, опытная проверка, опытный контроль
experimental coefficient — мет. экспериментальное значение коэффициента
experimental approach — экспериментальный подход [метод\]
experimental evidence — экспериментальное доказательство, результаты [данные\] эксперимента
experimental evidence of smth — экспериментальное доказательство чего-л.
experimental evidence indicate that— результаты эксперимента говорят, что...
experimental data — экспериментальные [опытные\] данные; результаты анализов
experimental observation — экспериментальное [ лабораторное\] наблюдение
See: -
20 physical
1. прил.1) общ. физический, материальный; натуральныйphysical measurement — натуральное измерение, измерение в натуральных единицах
Syn:See:physical asset, physical budget, physical capital, physical control, physical deterioration, physical distribution, physical goods, physical infrastructure, physical inventory, physical inventory count, physical life, physical location, physical market, physical product 1),2, Physical Quality of Life Index, physical stock check, physical stocktaking, physical verification, physical waste water treatment, physical balance, physical count, physical measurement, physical measures method, physical product 3), physical value2) общ. телесный, физическийSee:, physical disability, physical education, physical examination, physical incompetency, physical therapists3) мет. физический ( относящийся к физике или к естествознанию)See:2. сущ.фин., бирж., преим. мн. = actual 2.,The counterparty, who wants to sell the physical, sells the physical to me and buys the futures contract from me simultaneously. — Сторона, которая хочет продать физический товар, продает этот товар мне и одновременно покупает у меня фьючерсный контракт.
* * *медицинский осмотр (при приеме на работу, вступлении в пенсионный фонд и т. п.). . Словарь экономических терминов .
- 1
- 2
См. также в других словарях:
verification principle — (or verifiability principle ) The principle central to logical positivism, according to which the meaning of a statement is its method of verification. Sentences apparently expressing propositions that admit of no verification (such as those of… … Philosophy dictionary
verification — An *examination of an activity or asset in order to obtain evidence of its existence, condition, or truth. Verification is an important *substantive test to obtain *audit evidence: Depending on the...circumstances, verification takes place… … Auditor's dictionary
Condition animale — Bien être animal Le bien être animal est une notion associée au point de vue selon lequel toute souffrance animale inutile devrait être évitée. Ce point de vue concerne les animaux domestiques , qu ils soient exploités comme source de nourriture … Wikipédia en Français
Gender verification in sports — (also sometimes loosely referred to as sex determination) is the issue of verifying the eligibility of an athlete to compete in a sporting event that is limited to a single gender. The issue arose a number of times in the Olympic games where it… … Wikipedia
Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific … Wikipedia
physical verification — The *examination of a *tangible asset in order to obtain evidence of its existence and condition. The term is often used synonymously with *physical inspection. See also Verification … Auditor's dictionary
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
условие верификации — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN verification condition … Справочник технического переводчика
условие проверки — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN verification condition … Справочник технического переводчика
THÉOLOGIE — Alain définissait la théologie «une philosophie sans recul». Il voulait dire qu’elle manque d’indépendance critique, qu’elle est liée à un système de croyances, à un dogme, qu’elle accepte une orthodoxie, une autorité, une censure: vérité… … Encyclopédie Universelle
Burglar alarm — Silent alarm redirects here. For the album, see Silent Alarm (album). Burglar (or intrusion), fire and safety alarms are all electronic today. Sensors are connected to a control unit via a low voltage hardwire or narrowband RF signal which is… … Wikipedia